English symbolic programming for automatic control: תרגום לשפות אחרות